Inhalt des Dokuments

Forschung

Artikel akzeptiert bei ETAPS-Konferenz TACAS 2021

Mittwoch, 23. Dezember 2020

Der Artikel "A Game for Linear-time–Branching-time Spectroscopy" von Benjamin Bisping (und Uwe Nestmann) wurde zur Publikation bei der Konferenz TACAS (Tools and Algorithms for the Construction and Analysis of Systems) akzeptiert.

---